Christos Dimoulas

0:13:33

RacketCon 2013: Christos Dimoulas - Option Contracts

0:08:44

Christos Dimoulas @ 5th Greek Business & Arts Festival

0:23:55

Complete Monitors for Gradual Types

0:55:59

[Scheme'23] The Rational Programmer, An Investigative Method for Programming Language Prag...

0:10:13

How to Evaluate Blame for Gradual Types

0:22:53

Run Your Research: POPL 2012 talk

0:20:40

[POPL'24] Effectful Software Contracts

0:17:49

[OOPSLA23] How Profilers Can Help Navigate Type Migration

0:29:43

[ICFP'23] How to Evaluate Blame for Gradual Types, Part 2

0:10:08

Olympus Marathon 2024 Documentary (EN)

0:13:36

[ICFP'23] PC Chair's report

0:20:24

Graduality and Parametricity - Together Again for the First Time

0:42:37

'Towards Language Support for Distributed Systems' by Heather Miller

0:20:37

(sixth RacketCon): Scott Moore -- Contracts for Security

0:23:01

The psychology of the vital personal space in the virtual configuration of a museum's premises

0:07:53

EROTOKRITOS (Ερωτόκριτος) | by Christos Tzifakis

0:10:03

RacketCon 2013: Vincent St-Amour - Contracts on a Budget

0:07:00

' DREAM' by Christos Tzifakis ( Live at the Greek National Opera )

0:12:45

RacketCon 2013: Max New - Every Program in Your Redex Model, in Order

0:20:51

PLDI 1 minute madness (Day 2)

0:40:51

Heather Miller - Towards language support for distributed systems | Code Mesh LDN 18

0:20:06

(fifth RacketCon): Andrew Kent — Practical Dependently Typed Racket

1:44:05

ICFP Session 3

1:44:05

ICFP Session 3 (Mirror)